trigger-send(A;ds;x;cond;l;tg)
== Rsends(ds;x;cond.1;l;if isrcvl(l;x)
== then tg : A  tag(x) : cond.1
== else tg : A
== fi ;[<tg
== fi ;[, s,v. if can-apply(p.let s,v = p in (cond.2)(s,v);<s, v>)
== fi ;[, then [do-apply(p.let s,v = p in (cond.2)(s,v);<s, v>)]
== fi ;[, else []
== fi ;[, fi 
== fi ;[>]) 

latex

---

clarification:

trigger-send(A;ds;x;cond;l;tg)
== Rsends(ds;x;cond.1;l;if isrcvl(l;x)
== then fpf-join(IdDeq;tg : A;tag(x) : cond.1)
== else tg : A
== fi ;[<tg
== fi ;[, s,v. if can-apply(p.let s,v = p in (cond.2)(s,v);<s, v>)
== fi ;[, then [do-apply(p.let s,v = p in (cond.2)(s,v);<s, v>) / []]
== fi ;[, else []
== fi ;[, fi 
== fi ;[> / 
== fi ;[[]]) 

latex

Definitions	Rsends(ds;knd;T;l;dt;g), isrcvl(l;k), f  g, IdDeq, tag(k), t.1, x : v, if b then t else f fi , can-apply(f;x), [car / cdr], do-apply(f;x), x.A(x), let x,y = A in B(x;y), f(a), t.2, <a, b>, []
FDL editor aliases	trigger-send